Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Theoretical Computer Science,Fundamentals of Mathematics, Logics, Set Theory,Theoretical Philosophy |
| Keywords | Logik in der Informatik, Informationssicherheit, Programmiersprachen, Typtheorie, Automatisches Beweisen |
Current contact address
| Country | United States of America |
|---|---|
| City | Pittsburgh |
| Institution | Carnegie Mellon University |
| Institute | School of Computer Science |
Host during sponsorship
| Prof. Dr. Klaus Keimel | Fachgebiet Intellektik, Fachbereich Informatik, Technische Universität Darmstadt, Darmstadt |
|---|---|
| Prof. Dr. Wolfgang Bibel | Fachgebiet Intellektik, Fachbereich Informatik, Technische Universität Darmstadt, Darmstadt |
| Start of initial sponsorship | 01/02/1996 |
Programme(s)
| 1995 | Humboldt Research Fellowship Programme |
|---|